Incremental Development of usiness Process Models

The purpose of formal and so called semi-formal approaches to business process modeling is to provide a general technique for the development of workflow based information systems. For this, a concise and repeatable transformation of initial requirements into the final system must be achieved. Moreover, there is also a need for complex models to include justifications that explain the meaning and purpose of each component of the entire model. However, this is not sufficiently supported by current graphical methods. This paper therefore introduces a formal language for process modeling which allows incremental development, graphical visualization of the model, and adding justifications to the model.